// 定义一个下载文件的函数，接收文件URL和文件名作为参数
function downloadFile(url, filename) {
    /*
    函数功能：下载指定URL的文件
    参数：
        url - 文件的URL地址
        filename - 下载时保存的文件名
    */
    // 创建一个隐藏的<a>元素用于触发下载
    const a = document.createElement('a');
    // 设置链接地址为文件的URL
    a.href = url;
    // 设置download属性，指定下载时的文件名
    a.download = filename;
    // 将<a>元素添加到页面中（必须在DOM中才能触发点击）
    document.body.appendChild(a);
    // 模拟点击<a>元素触发浏览器下载
    a.click();
    // 下载完成后从页面中移除这个临时的<a>元素
    document.body.removeChild(a);
}

// 创建一个点击切图函数，在on和off之间切换
function changeImage() {
    // 定义图片数组，包含所有需要切换的图片路径
    const img = document.getElementById('image-container');
    if (img.src.includes('on.png')) {
        img.src = 'off.png';
    } else {
        img.src = 'on.png';
    }
}
